mini-os: Fix build error.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 26 Mar 2008 14:04:21 +0000 (14:04 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 26 Mar 2008 14:04:21 +0000 (14:04 +0000)
commit886fcd1040577e339bd65d7a9126a457e4217466
treee48001060c5dd2f9a167a4efa3c5fc25921b15ee
parentd7898ce61af47522d8e757712167316fa71caf54
mini-os: Fix build error.
Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>
extras/mini-os/kernel.c